Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es TABLOG - definición
TABLOG
<language> A programming language based on {first order
predicate logic} with equality that combines {relational
programming} and functional programming. It has functional
notation and unification as its binding mechanism. TABLOG
supports a more general subset of standard first order logic
than Prolog. It employs the Manna-Waldinger
'deductive-tableau' proof system as an interpreter instead
of resolution.
(1997-06-19)
